context free grammar for a^i b^j c^k